TSTP Solution File: GRA059^1 by DCTP---1.31